State transition system

Results: 141



#Item
212009 will mark Russia’s transition from the traditional system of university examinations to a standardized national test for university admission

2009 will mark Russia’s transition from the traditional system of university examinations to a standardized national test for university admission

Add to Reading List

Source URL: russianmodernisation.fi

Language: English - Date: 2014-10-27 07:03:54
22Domain-Specific Preferences for Causal Reasoning and Planning James P. Delgrande Torsten Schaub∗ Hans Tompits

Domain-Specific Preferences for Causal Reasoning and Planning James P. Delgrande Torsten Schaub∗ Hans Tompits

Add to Reading List

Source URL: www.cs.sfu.ca

Language: English
23Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) VeriTech - A Framework for Translating among Model Description Notations Orna Grumberg and Shmuel Katz

Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) VeriTech - A Framework for Translating among Model Description Notations Orna Grumberg and Shmuel Katz

Add to Reading List

Source URL: www.cs.technion.ac.il

Language: English - Date: 2005-11-29 05:50:59
24software construction Editors: Andy Hunt and Dave Thomas ■ The Pragmatic Programmers a n d y @ p r a g m a t i c p r o g r a m m e r. c o m ■ d a v e @ p r a g m a t i c p r o g r a m m e r. c o m State Machines Dave

software construction Editors: Andy Hunt and Dave Thomas ■ The Pragmatic Programmers a n d y @ p r a g m a t i c p r o g r a m m e r. c o m ■ d a v e @ p r a g m a t i c p r o g r a m m e r. c o m State Machines Dave

Add to Reading List

Source URL: media.pragprog.com

Language: English - Date: 2007-10-31 17:44:24
25Algorithmic metatheorems for decidable LTL model checking over infinite systems Anthony Widjaja To and Leonid Libkin LFCS, School of Informatics, University of Edinburgh anthony.w.to,

Algorithmic metatheorems for decidable LTL model checking over infinite systems Anthony Widjaja To and Leonid Libkin LFCS, School of Informatics, University of Edinburgh anthony.w.to,

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2010-02-03 10:41:37
26MoChArt 2005 Preliminary Version Incremental Verification for On-the-Fly Controller Synthesis David J. Musliner and Michael J. S. Pelican 1,2 Honeywell Laboratories

MoChArt 2005 Preliminary Version Incremental Verification for On-the-Fly Controller Synthesis David J. Musliner and Michael J. S. Pelican 1,2 Honeywell Laboratories

Add to Reading List

Source URL: rpgoldman.goldman-tribe.org

Language: English - Date: 2009-08-06 12:04:58
27TRANSITION PLANNING FOR 21ST CENTURY SCHOOLS PUBLIC SCHOOLS OF NORTH CAROLINA State Board of Education | Department of Public Instruction

TRANSITION PLANNING FOR 21ST CENTURY SCHOOLS PUBLIC SCHOOLS OF NORTH CAROLINA State Board of Education | Department of Public Instruction

Add to Reading List

Source URL: www.hendersoncountypublicschoolsnc.org

Language: English - Date: 2011-03-08 12:04:39
28Comparison of Modeling Formalisms for Safety Analyses: SAML and AltaRica Tatiana PROSVIRNOVA, Antoine RAUZY LIX, Ecole Polytechnique, France

Comparison of Modeling Formalisms for Safety Analyses: SAML and AltaRica Tatiana PROSVIRNOVA, Antoine RAUZY LIX, Ecole Polytechnique, France

Add to Reading List

Source URL: altarica.fr

Language: English - Date: 2013-08-01 09:01:32
29Modelling spoken dialogues with state transition diagrams: experiences with the CSLU toolkit Michael F McTear University of Ulster ABSTRACT

Modelling spoken dialogues with state transition diagrams: experiences with the CSLU toolkit Michael F McTear University of Ulster ABSTRACT

Add to Reading List

Source URL: www.cslu.ogi.edu

Language: English - Date: 2004-08-20 16:10:09
306.241J Course Notes, Chapter 11: Continuous-time linear state-space models

6.241J Course Notes, Chapter 11: Continuous-time linear state-space models

Add to Reading List

Source URL: ocw.mit.edu

Language: English - Date: 2015-03-15 16:14:41